Tootfinder

A New Self-Alignment Method without Solving Wahba Problem for SINS in Autonomous Vehicles
Hongliang Zhang, Yilan Zhou, Lei Wang, Tengchao Huang
https://arxiv.org/abs/2405.01115

A New Self-Alignment Method without Solving Wahba Problem for SINS in Autonomous Vehicles
Initial alignment is one of the key technologies in strapdown inertial navigation system (SINS) to provide initial state information for vehicle attitude and navigation. For some situations, such as the attitude heading reference system, the position is not necessarily required or even available, then the self-alignment that does not rely on any external aid becomes very necessary. This study presents a new self-alignment method under swaying conditions, which can determine the latitude and att…

This https://arxiv.org/abs/2204.04554 has been replaced.
link: https://scholar.google.com/scholar?q=a

Self-Consistent Equations for Nonempirical Tight Binding Theory
A new reference state for density functional theory, termed the independent atom ansatz, is introduced in this work. This ansatz allows for the exact representation of electron density in terms of non-interacting, atom-localized orbitals. Self-consistent equations for localized states are derived. Total energy functional is found to closely resemble tight binding theory. The independent atom ansatz facilitates partial cancellation of inter-atomic electron-electron and electron-nuclear interacti…

This https://arxiv.org/abs/2311.10393 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Resurgence and self-completion in renormalized gauge theories
Under certain assumptions and independent of the instantons, we show that the logarithm expansion of dimensional regularization in quantum field theory needs a nonperturbative completion to have a renormalization-group flow valid at all energies. Then, we show that such nonperturbative completion has the analytic properties of the renormalons, which we find with only a marginal reference to diagrammatic calculations. We demonstrate that renormalon corrections necessarily lead to analyzable func…

This https://arxiv.org/abs/2308.15808 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Learning the References of Online Model Predictive Control for Urban Self-Driving
In this work, we propose a novel learning-based model predictive control (MPC) framework for motion planning and control of urban self-driving. In this framework, instantaneous references and cost functions of online MPC are learned from raw sensor data without relying on any oracle or predicted states of traffic. Moreover, driving safety conditions are latently encoded via the introduction of a learnable instantaneous reference vector. In particular, we implement a deep reinforcement learning …

This https://arxiv.org/abs/2204.04554 has been replaced.
link: https://scholar.google.com/scholar?q=a

Self-Consistent Equations for Nonempirical Tight Binding Theory
A new reference state for density functional theory, termed the independent atom ansatz, is introduced in this work. This ansatz allows for the exact representation of electron density in terms of non-interacting, atom-localized orbitals. Self-consistent equations for localized states are derived. Total energy functional is found to closely resemble tight binding theory. The independent atom ansatz facilitates partial cancellation of inter-atomic electron-electron and electron-nuclear interacti…

This https://arxiv.org/abs/2403.13223 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Information-theoretic derivation of energy and speed bounds
Information-theoretic insights have proven fruitful in many areas of quantum physics. But can the fundamental dynamics of quantum systems be derived from purely information-theoretic principles, without resorting to Hilbert space structures such as unitary evolution and self-adjoint observables? Here we provide a model where the dynamics originates from a condition of informational non-equilibrium, the deviation of the system's state from a reference state associated to a field of identically p…

A New Multi-Picture Architecture for Learned Video Deinterlacing and Demosaicing with Parallel Deformable Convolution and Self-Attention Blocks
Ronglei Ji, A. Murat Tekalp
https://arxiv.org/abs/2404.13018

A New Multi-Picture Architecture for Learned Video Deinterlacing and Demosaicing with Parallel Deformable Convolution and Self-Attention Blocks
Despite the fact real-world video deinterlacing and demosaicing are well-suited to supervised learning from synthetically degraded data because the degradation models are known and fixed, learned video deinterlacing and demosaicing have received much less attention compared to denoising and super-resolution tasks. We propose a new multi-picture architecture for video deinterlacing or demosaicing by aligning multiple supporting pictures with missing data to a reference picture to be reconstructe…

Samuel Beckett was born on 13 April 1906 in Carrick, Co. Dublin.
Beckett was awarded the Nobel Prize for Literature in 1969.
His literary and theatrical work features bleak, impersonal, and tragicomic experiences of life, often coupled with black comedy and nonsense.
His work became increasingly minimalist as his career progressed, involving more aesthetic and linguistic experimentation, with techniques of stream of consciousness repetition and self-reference.
He …

iamBullivant (@bullivant@mastodon.ie)
Attached: 1 image Rugadh Samuel Beckett ar 13 Aibreán 1906 i gCarraig an tSionnaigh, Co. Bhaile Átha Cliath. Bronnadh Duais Nobel na Litríochta ar Beckett sa bhliain 1969. Ba rí "Théatar na hÉigéille" é. #Éire #StairNahÉireann #SamuelBeckett #ThéatarNahÉigéille #Gaeilge

Lean4Lean: Towards a formalized metatheory for the Lean theorem prover
Mario Carneiro
https://arxiv.org/abs/2403.14064 https://arxiv.…

Lean4Lean: Towards a formalized metatheory for the Lean theorem prover
In this paper we present a new "external verifier" for the Lean theorem prover, written in Lean itself. This is the first complete verifier for Lean 4 other than the reference implementation in C++ used by Lean itself, and our new verifier is competitive with the original, running between 20% and 50% slower and usable to verify all of Lean's mathlib library, forming an additional step in Lean's aim to self-host the full elaborator and compiler. Moreover, because the verifier is written in a lan…

This https://arxiv.org/abs/2311.16570 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qfi…

Epistemic Limits of Empirical Finance: Causal Reductionism and Self-Reference
The clarion call for causal reduction in the study of capital markets is intensifying. However, in self-referencing and open systems such as capital markets, the idea of unidirectional causation (if applicable) may be limiting at best, and unstable or fallacious at worst. In this research, we critically assess the use of scientific deduction and causal inference within the study of empirical finance and econometrics. We then demonstrate the idea of competing causal chains using a toy model adap…

This https://arxiv.org/abs/2103.11097 has been replaced.
link: https://scholar.google.com/scholar?q=a

In-Field Gyroscope Autocalibration with Iterative Attitude Estimation
This paper presents an efficient in-field calibration method tailored for low-cost triaxial MEMS gyroscopes often used in healthcare applications. Traditional calibration techniques are challenging to implement in clinical settings due to the unavailability of high-precision equipment. Unlike the auto-calibration approaches used for triaxial MEMS accelerometers, which rely on local gravity, gyroscopes lack a reliable reference since the Earth's self-rotation speed is insufficient for accurate c…

This https://arxiv.org/abs/2204.04554 has been replaced.
link: https://scholar.google.com/scholar?q=a

Self-Consistent Equations for Nonempirical Tight Binding Theory
A novel reference state for density functional theory, termed the hydrogenic ansatz, is introduced in this work. This ansatz allows for the exact representation of electron density in terms of atom-localized, non-interacting, perturbed hydrogenic orbitals. Self-consistent equations for localized atomic states are derived. Total energy functional is found to closely resemble tight binding theory. The hydrogenic ansatz facilitates partial cancellation of inter-atomic electron-electron and electro…